.ivs-toNum {
  content: 1234 number;
  content: 5678 number;
  content: 9818 number; }

.ivs-toStr {
  content: "1234" string;
  content: "5678" string;
  content: ABCD string; }

.ivs-toList {
  content: 1, "2", 3, 4 arglist;
  content: 5 6 7 8 list;
  content: A B C D list;
  content: ab, cd, hello, world list; }

.ivs-reverse {
  content: 4 3 "2" 1;
  content: 8765;
  content: "DCBA"; }

.ivs-remove {
  content: 1 3 4;
  content: 578;
  content: ACD; }

.ivs-remove-v {
  content: 1, "2", 2, 2, 3, 4;
  content: 56678;
  content: "BCCCD"; }

.ivs-splice {
  content: 1 "--" 1 4 "--" "2" 2 2 3;
  content: "1" "--" "45" "--" "23";
  content: A "--" CD "--" BCC; }

.ivs-splice-q {
  content: 1 "--" 1 4 "--" "2" 2 2;
  content: "1" "--" "345" "--" "2";
  content: A "--" CCD "--" BC; }
